range: remove border allocation hack
authorCosimo Cecchi <cosimoc@gnome.org>
Tue, 23 Feb 2016 05:19:03 +0000 (21:19 -0800)
committerCosimo Cecchi <cosimoc@gnome.org>
Mon, 29 Feb 2016 18:45:12 +0000 (10:45 -0800)
commitfb11cc1bafc3986024b41e20fb6fe609e42daeb8
treecf8446ac06f49905b358cb608b130def0c9a8b26
parent1a116b9a95aac9e55e858a4614b888f06a8c156d
range: remove border allocation hack

We can achieve the same result with a negative margin.
gtk/gtkrange.c